Algebraic logic

#	Item
421	PDF Document Add to Reading List Source URL: arxiv.org Language: English Category theory Boolean algebra Modal logic Algebraic logic F-coalgebra Coalgebra General frame Modal algebra Kripke semantics Mathematics Abstract algebra Mathematical logic
422	PDF Document Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2012-06-11 00:44:50 Z notation Axiom Algebraic structures S Function Ring Mathematics Mathematical logic Software